Wyniki
-
Compatibility and relevance: Bolzano and Orlov
Werner Stelzner
Logic and Logical Philosophy 10 (2002) s. 137-171 -
Towards intuitionistic dynamic logic
J.W. Degen, J.M. Werner
Logic and Logical Philosophy , 15 /4 (2006) s. 305-324